3.6.99 \(\int \frac {1}{(3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx\) [599]

3.6.99.1 Optimal result
3.6.99.2 Mathematica [A] (warning: unable to verify)
3.6.99.3 Rubi [A] (verified)
3.6.99.4 Maple [B] (verified)
3.6.99.5 Fricas [B] (verification not implemented)
3.6.99.6 Sympy [F(-1)]
3.6.99.7 Maxima [F]
3.6.99.8 Giac [F]
3.6.99.9 Mupad [F(-1)]

3.6.99.1 Optimal result

Integrand size = 29, antiderivative size = 257 \[ \int \frac {1}{(3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx=-\frac {(c-11 d) \text {arctanh}\left (\frac {\sqrt {\frac {3}{2}} \sqrt {c-d} \cos (e+f x)}{\sqrt {3+3 \sin (e+f x)} \sqrt {c+d \sin (e+f x)}}\right )}{6 \sqrt {6} (c-d)^{7/2} f}-\frac {\cos (e+f x)}{2 (c-d) f (3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{3/2}}-\frac {d (3 c+7 d) \cos (e+f x)}{18 (c-d)^2 (c+d) f \sqrt {3+3 \sin (e+f x)} (c+d \sin (e+f x))^{3/2}}-\frac {d \left (3 c^2+38 c d+19 d^2\right ) \cos (e+f x)}{18 (c-d)^3 (c+d)^2 f \sqrt {3+3 \sin (e+f x)} \sqrt {c+d \sin (e+f x)}} \]

output
-1/2*cos(f*x+e)/(c-d)/f/(a+a*sin(f*x+e))^(3/2)/(c+d*sin(f*x+e))^(3/2)-1/4* 
(c-11*d)*arctanh(1/2*cos(f*x+e)*a^(1/2)*(c-d)^(1/2)*2^(1/2)/(a+a*sin(f*x+e 
))^(1/2)/(c+d*sin(f*x+e))^(1/2))/a^(3/2)/(c-d)^(7/2)/f*2^(1/2)-1/6*d*(3*c+ 
7*d)*cos(f*x+e)/a/(c-d)^2/(c+d)/f/(c+d*sin(f*x+e))^(3/2)/(a+a*sin(f*x+e))^ 
(1/2)-1/6*d*(3*c^2+38*c*d+19*d^2)*cos(f*x+e)/a/(c-d)^3/(c+d)^2/f/(a+a*sin( 
f*x+e))^(1/2)/(c+d*sin(f*x+e))^(1/2)
 
3.6.99.2 Mathematica [A] (warning: unable to verify)

Time = 6.34 (sec) , antiderivative size = 481, normalized size of antiderivative = 1.87 \[ \int \frac {1}{(3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx=\frac {\left (\cos \left (\frac {1}{2} (e+f x)\right )+\sin \left (\frac {1}{2} (e+f x)\right )\right )^2 \left (-\frac {\left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right ) \left (6 c^4+12 c^3 d+81 c^2 d^2+70 c d^3+11 d^4-d^2 \left (3 c^2+38 c d+19 d^2\right ) \cos (2 (e+f x))+12 d \left (c^3+8 c^2 d+9 c d^2+2 d^3\right ) \sin (e+f x)\right )}{(c+d)^2 \left (\cos \left (\frac {1}{2} (e+f x)\right )+\sin \left (\frac {1}{2} (e+f x)\right )\right ) (c+d \sin (e+f x))}+\frac {3 (c-11 d) \left (\log \left (1+\tan \left (\frac {1}{2} (e+f x)\right )\right )-\log \left (c-d+2 \sqrt {c-d} \sqrt {\frac {1}{1+\cos (e+f x)}} \sqrt {c+d \sin (e+f x)}+(-c+d) \tan \left (\frac {1}{2} (e+f x)\right )\right )\right )}{\frac {\sec ^2\left (\frac {1}{2} (e+f x)\right )}{2+2 \tan \left (\frac {1}{2} (e+f x)\right )}-\frac {-\frac {1}{2} (c-d) \sec ^2\left (\frac {1}{2} (e+f x)\right )+\frac {\sqrt {c-d} \left (\frac {1}{1+\cos (e+f x)}\right )^{3/2} (d+d \cos (e+f x)+c \sin (e+f x))}{\sqrt {c+d \sin (e+f x)}}}{c-d+2 \sqrt {c-d} \sqrt {\frac {1}{1+\cos (e+f x)}} \sqrt {c+d \sin (e+f x)}+(-c+d) \tan \left (\frac {1}{2} (e+f x)\right )}}\right )}{36 \sqrt {3} (c-d)^3 f (1+\sin (e+f x))^{3/2} \sqrt {c+d \sin (e+f x)}} \]

input
Integrate[1/((3 + 3*Sin[e + f*x])^(3/2)*(c + d*Sin[e + f*x])^(5/2)),x]
 
output
((Cos[(e + f*x)/2] + Sin[(e + f*x)/2])^2*(-(((Cos[(e + f*x)/2] - Sin[(e + 
f*x)/2])*(6*c^4 + 12*c^3*d + 81*c^2*d^2 + 70*c*d^3 + 11*d^4 - d^2*(3*c^2 + 
 38*c*d + 19*d^2)*Cos[2*(e + f*x)] + 12*d*(c^3 + 8*c^2*d + 9*c*d^2 + 2*d^3 
)*Sin[e + f*x]))/((c + d)^2*(Cos[(e + f*x)/2] + Sin[(e + f*x)/2])*(c + d*S 
in[e + f*x]))) + (3*(c - 11*d)*(Log[1 + Tan[(e + f*x)/2]] - Log[c - d + 2* 
Sqrt[c - d]*Sqrt[(1 + Cos[e + f*x])^(-1)]*Sqrt[c + d*Sin[e + f*x]] + (-c + 
 d)*Tan[(e + f*x)/2]]))/(Sec[(e + f*x)/2]^2/(2 + 2*Tan[(e + f*x)/2]) - (-1 
/2*((c - d)*Sec[(e + f*x)/2]^2) + (Sqrt[c - d]*((1 + Cos[e + f*x])^(-1))^( 
3/2)*(d + d*Cos[e + f*x] + c*Sin[e + f*x]))/Sqrt[c + d*Sin[e + f*x]])/(c - 
 d + 2*Sqrt[c - d]*Sqrt[(1 + Cos[e + f*x])^(-1)]*Sqrt[c + d*Sin[e + f*x]] 
+ (-c + d)*Tan[(e + f*x)/2]))))/(36*Sqrt[3]*(c - d)^3*f*(1 + Sin[e + f*x]) 
^(3/2)*Sqrt[c + d*Sin[e + f*x]])
 
3.6.99.3 Rubi [A] (verified)

Time = 1.30 (sec) , antiderivative size = 313, normalized size of antiderivative = 1.22, number of steps used = 13, number of rules used = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.414, Rules used = {3042, 3245, 27, 3042, 3463, 27, 3042, 3463, 27, 3042, 3261, 221}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {1}{(a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx\)

\(\Big \downarrow \) 3042

\(\displaystyle \int \frac {1}{(a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{5/2}}dx\)

\(\Big \downarrow \) 3245

\(\displaystyle -\frac {\int -\frac {a (c-7 d)+4 a d \sin (e+f x)}{2 \sqrt {\sin (e+f x) a+a} (c+d \sin (e+f x))^{5/2}}dx}{2 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\int \frac {a (c-7 d)+4 a d \sin (e+f x)}{\sqrt {\sin (e+f x) a+a} (c+d \sin (e+f x))^{5/2}}dx}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\int \frac {a (c-7 d)+4 a d \sin (e+f x)}{\sqrt {\sin (e+f x) a+a} (c+d \sin (e+f x))^{5/2}}dx}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 3463

\(\displaystyle \frac {-\frac {2 \int -\frac {\left (3 c^2-24 d c-19 d^2\right ) a^2+2 d (3 c+7 d) \sin (e+f x) a^2}{2 \sqrt {\sin (e+f x) a+a} (c+d \sin (e+f x))^{3/2}}dx}{3 a \left (c^2-d^2\right )}-\frac {2 a d (3 c+7 d) \cos (e+f x)}{3 f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} (c+d \sin (e+f x))^{3/2}}}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\frac {\int \frac {\left (3 c^2-24 d c-19 d^2\right ) a^2+2 d (3 c+7 d) \sin (e+f x) a^2}{\sqrt {\sin (e+f x) a+a} (c+d \sin (e+f x))^{3/2}}dx}{3 a \left (c^2-d^2\right )}-\frac {2 a d (3 c+7 d) \cos (e+f x)}{3 f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} (c+d \sin (e+f x))^{3/2}}}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\frac {\int \frac {\left (3 c^2-24 d c-19 d^2\right ) a^2+2 d (3 c+7 d) \sin (e+f x) a^2}{\sqrt {\sin (e+f x) a+a} (c+d \sin (e+f x))^{3/2}}dx}{3 a \left (c^2-d^2\right )}-\frac {2 a d (3 c+7 d) \cos (e+f x)}{3 f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} (c+d \sin (e+f x))^{3/2}}}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 3463

\(\displaystyle \frac {\frac {-\frac {2 \int -\frac {3 a^3 (c-11 d) (c+d)^2}{2 \sqrt {\sin (e+f x) a+a} \sqrt {c+d \sin (e+f x)}}dx}{a \left (c^2-d^2\right )}-\frac {2 a^2 d \left (3 c^2+38 c d+19 d^2\right ) \cos (e+f x)}{f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} \sqrt {c+d \sin (e+f x)}}}{3 a \left (c^2-d^2\right )}-\frac {2 a d (3 c+7 d) \cos (e+f x)}{3 f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} (c+d \sin (e+f x))^{3/2}}}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\frac {\frac {3 a^2 (c-11 d) (c+d)^2 \int \frac {1}{\sqrt {\sin (e+f x) a+a} \sqrt {c+d \sin (e+f x)}}dx}{c^2-d^2}-\frac {2 a^2 d \left (3 c^2+38 c d+19 d^2\right ) \cos (e+f x)}{f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} \sqrt {c+d \sin (e+f x)}}}{3 a \left (c^2-d^2\right )}-\frac {2 a d (3 c+7 d) \cos (e+f x)}{3 f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} (c+d \sin (e+f x))^{3/2}}}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 3042

\(\displaystyle \frac {\frac {\frac {3 a^2 (c-11 d) (c+d)^2 \int \frac {1}{\sqrt {\sin (e+f x) a+a} \sqrt {c+d \sin (e+f x)}}dx}{c^2-d^2}-\frac {2 a^2 d \left (3 c^2+38 c d+19 d^2\right ) \cos (e+f x)}{f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} \sqrt {c+d \sin (e+f x)}}}{3 a \left (c^2-d^2\right )}-\frac {2 a d (3 c+7 d) \cos (e+f x)}{3 f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} (c+d \sin (e+f x))^{3/2}}}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 3261

\(\displaystyle \frac {\frac {-\frac {6 a^3 (c-11 d) (c+d)^2 \int \frac {1}{2 a^2-\frac {a^3 (c-d) \cos ^2(e+f x)}{(\sin (e+f x) a+a) (c+d \sin (e+f x))}}d\frac {a \cos (e+f x)}{\sqrt {\sin (e+f x) a+a} \sqrt {c+d \sin (e+f x)}}}{f \left (c^2-d^2\right )}-\frac {2 a^2 d \left (3 c^2+38 c d+19 d^2\right ) \cos (e+f x)}{f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} \sqrt {c+d \sin (e+f x)}}}{3 a \left (c^2-d^2\right )}-\frac {2 a d (3 c+7 d) \cos (e+f x)}{3 f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} (c+d \sin (e+f x))^{3/2}}}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

\(\Big \downarrow \) 221

\(\displaystyle \frac {\frac {-\frac {3 \sqrt {2} a^{3/2} (c-11 d) (c+d)^2 \text {arctanh}\left (\frac {\sqrt {a} \sqrt {c-d} \cos (e+f x)}{\sqrt {2} \sqrt {a \sin (e+f x)+a} \sqrt {c+d \sin (e+f x)}}\right )}{f \sqrt {c-d} \left (c^2-d^2\right )}-\frac {2 a^2 d \left (3 c^2+38 c d+19 d^2\right ) \cos (e+f x)}{f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} \sqrt {c+d \sin (e+f x)}}}{3 a \left (c^2-d^2\right )}-\frac {2 a d (3 c+7 d) \cos (e+f x)}{3 f \left (c^2-d^2\right ) \sqrt {a \sin (e+f x)+a} (c+d \sin (e+f x))^{3/2}}}{4 a^2 (c-d)}-\frac {\cos (e+f x)}{2 f (c-d) (a \sin (e+f x)+a)^{3/2} (c+d \sin (e+f x))^{3/2}}\)

input
Int[1/((a + a*Sin[e + f*x])^(3/2)*(c + d*Sin[e + f*x])^(5/2)),x]
 
output
-1/2*Cos[e + f*x]/((c - d)*f*(a + a*Sin[e + f*x])^(3/2)*(c + d*Sin[e + f*x 
])^(3/2)) + ((-2*a*d*(3*c + 7*d)*Cos[e + f*x])/(3*(c^2 - d^2)*f*Sqrt[a + a 
*Sin[e + f*x]]*(c + d*Sin[e + f*x])^(3/2)) + ((-3*Sqrt[2]*a^(3/2)*(c - 11* 
d)*(c + d)^2*ArcTanh[(Sqrt[a]*Sqrt[c - d]*Cos[e + f*x])/(Sqrt[2]*Sqrt[a + 
a*Sin[e + f*x]]*Sqrt[c + d*Sin[e + f*x]])])/(Sqrt[c - d]*(c^2 - d^2)*f) - 
(2*a^2*d*(3*c^2 + 38*c*d + 19*d^2)*Cos[e + f*x])/((c^2 - d^2)*f*Sqrt[a + a 
*Sin[e + f*x]]*Sqrt[c + d*Sin[e + f*x]]))/(3*a*(c^2 - d^2)))/(4*a^2*(c - d 
))
 

3.6.99.3.1 Defintions of rubi rules used

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 221
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[-a/b, 2]/a)*ArcTanh[x 
/Rt[-a/b, 2]], x] /; FreeQ[{a, b}, x] && NegQ[a/b]
 

rule 3042
Int[u_, x_Symbol] :> Int[DeactivateTrig[u, x], x] /; FunctionOfTrigOfLinear 
Q[u, x]
 

rule 3245
Int[((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_)*((c_.) + (d_.)*sin[(e_.) + 
(f_.)*(x_)])^(n_), x_Symbol] :> Simp[b^2*Cos[e + f*x]*(a + b*Sin[e + f*x])^ 
m*((c + d*Sin[e + f*x])^(n + 1)/(a*f*(2*m + 1)*(b*c - a*d))), x] + Simp[1/( 
a*(2*m + 1)*(b*c - a*d))   Int[(a + b*Sin[e + f*x])^(m + 1)*(c + d*Sin[e + 
f*x])^n*Simp[b*c*(m + 1) - a*d*(2*m + n + 2) + b*d*(m + n + 2)*Sin[e + f*x] 
, x], x], x] /; FreeQ[{a, b, c, d, e, f, n}, x] && NeQ[b*c - a*d, 0] && EqQ 
[a^2 - b^2, 0] && NeQ[c^2 - d^2, 0] && LtQ[m, -1] &&  !GtQ[n, 0] && (Intege 
rsQ[2*m, 2*n] || (IntegerQ[m] && EqQ[c, 0]))
 

rule 3261
Int[1/(Sqrt[(a_) + (b_.)*sin[(e_.) + (f_.)*(x_)]]*Sqrt[(c_.) + (d_.)*sin[(e 
_.) + (f_.)*(x_)]]), x_Symbol] :> Simp[-2*(a/f)   Subst[Int[1/(2*b^2 - (a*c 
 - b*d)*x^2), x], x, b*(Cos[e + f*x]/(Sqrt[a + b*Sin[e + f*x]]*Sqrt[c + d*S 
in[e + f*x]]))], x] /; FreeQ[{a, b, c, d, e, f}, x] && NeQ[b*c - a*d, 0] && 
 EqQ[a^2 - b^2, 0] && NeQ[c^2 - d^2, 0]
 

rule 3463
Int[((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_)*((A_.) + (B_.)*sin[(e_.) + 
(f_.)*(x_)])*((c_.) + (d_.)*sin[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Sim 
p[(B*c - A*d)*Cos[e + f*x]*(a + b*Sin[e + f*x])^m*((c + d*Sin[e + f*x])^(n 
+ 1)/(f*(n + 1)*(c^2 - d^2))), x] + Simp[1/(b*(n + 1)*(c^2 - d^2))   Int[(a 
 + b*Sin[e + f*x])^m*(c + d*Sin[e + f*x])^(n + 1)*Simp[A*(a*d*m + b*c*(n + 
1)) - B*(a*c*m + b*d*(n + 1)) + b*(B*c - A*d)*(m + n + 2)*Sin[e + f*x], x], 
 x], x] /; FreeQ[{a, b, c, d, e, f, A, B, m}, x] && NeQ[b*c - a*d, 0] && Eq 
Q[a^2 - b^2, 0] && NeQ[c^2 - d^2, 0] && LtQ[n, -1] && (IntegerQ[n] || EqQ[m 
 + 1/2, 0])
 
3.6.99.4 Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(4706\) vs. \(2(236)=472\).

Time = 4.61 (sec) , antiderivative size = 4707, normalized size of antiderivative = 18.32

method result size
default \(\text {Expression too large to display}\) \(4707\)

input
int(1/(a+a*sin(f*x+e))^(3/2)/(c+d*sin(f*x+e))^(5/2),x,method=_RETURNVERBOS 
E)
 
output
-1/6/f*(33*cos(f*x+e)*sin(f*x+e)*ln(-2*((2*c-2*d)^(1/2)*2^(1/2)*((c+d*sin( 
f*x+e))/(cos(f*x+e)+1))^(1/2)*sin(f*x+e)+c*sin(f*x+e)-d*sin(f*x+e)+c*cos(f 
*x+e)-d*cos(f*x+e)-c+d)/(cos(f*x+e)-1-sin(f*x+e)))*2^(1/2)*((c+d*sin(f*x+e 
))/(cos(f*x+e)+1))^(1/2)*d^4+90*cos(f*x+e)*sin(f*x+e)*2^(1/2)*((c+d*sin(f* 
x+e))/(cos(f*x+e)+1))^(1/2)*ln(-2*((2*c-2*d)^(1/2)*2^(1/2)*((c+d*sin(f*x+e 
))/(cos(f*x+e)+1))^(1/2)*sin(f*x+e)+c*sin(f*x+e)-d*sin(f*x+e)+c*cos(f*x+e) 
-d*cos(f*x+e)-c+d)/(cos(f*x+e)-1-sin(f*x+e)))*c^2*d^2+96*cos(f*x+e)*sin(f* 
x+e)*2^(1/2)*((c+d*sin(f*x+e))/(cos(f*x+e)+1))^(1/2)*ln(-2*((2*c-2*d)^(1/2 
)*2^(1/2)*((c+d*sin(f*x+e))/(cos(f*x+e)+1))^(1/2)*sin(f*x+e)+c*sin(f*x+e)- 
d*sin(f*x+e)+c*cos(f*x+e)-d*cos(f*x+e)-c+d)/(cos(f*x+e)-1-sin(f*x+e)))*c*d 
^3-63*ln(-2*((2*c-2*d)^(1/2)*2^(1/2)*((c+d*sin(f*x+e))/(cos(f*x+e)+1))^(1/ 
2)*sin(f*x+e)+c*sin(f*x+e)-d*sin(f*x+e)+c*cos(f*x+e)-d*cos(f*x+e)-c+d)/(co 
s(f*x+e)-1-sin(f*x+e)))*2^(1/2)*((c+d*sin(f*x+e))/(cos(f*x+e)+1))^(1/2)*c* 
cos(f*x+e)^3*d^3+24*ln(-2*((2*c-2*d)^(1/2)*2^(1/2)*((c+d*sin(f*x+e))/(cos( 
f*x+e)+1))^(1/2)*sin(f*x+e)+c*sin(f*x+e)-d*sin(f*x+e)+c*cos(f*x+e)-d*cos(f 
*x+e)-c+d)/(cos(f*x+e)-1-sin(f*x+e)))*c^3*d*2^(1/2)*((c+d*sin(f*x+e))/(cos 
(f*x+e)+1))^(1/2)*sin(f*x+e)+90*ln(-2*((2*c-2*d)^(1/2)*2^(1/2)*((c+d*sin(f 
*x+e))/(cos(f*x+e)+1))^(1/2)*sin(f*x+e)+c*sin(f*x+e)-d*sin(f*x+e)+c*cos(f* 
x+e)-d*cos(f*x+e)-c+d)/(cos(f*x+e)-1-sin(f*x+e)))*c^2*d^2*2^(1/2)*((c+d*si 
n(f*x+e))/(cos(f*x+e)+1))^(1/2)*sin(f*x+e)+96*ln(-2*((2*c-2*d)^(1/2)*2^...
 
3.6.99.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 1474 vs. \(2 (236) = 472\).

Time = 0.85 (sec) , antiderivative size = 3182, normalized size of antiderivative = 12.38 \[ \int \frac {1}{(3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx=\text {Too large to display} \]

input
integrate(1/(a+a*sin(f*x+e))^(3/2)/(c+d*sin(f*x+e))^(5/2),x, algorithm="fr 
icas")
 
output
[1/48*(3*(2*c^5 - 14*c^4*d - 76*c^3*d^2 - 124*c^2*d^3 - 86*c*d^4 - 22*d^5 
+ (c^3*d^2 - 9*c^2*d^3 - 21*c*d^4 - 11*d^5)*cos(f*x + e)^4 - (2*c^4*d - 17 
*c^3*d^2 - 51*c^2*d^3 - 43*c*d^4 - 11*d^5)*cos(f*x + e)^3 - (c^5 - 5*c^4*d 
 - 54*c^3*d^2 - 122*c^2*d^3 - 107*c*d^4 - 33*d^5)*cos(f*x + e)^2 + (c^5 - 
7*c^4*d - 38*c^3*d^2 - 62*c^2*d^3 - 43*c*d^4 - 11*d^5)*cos(f*x + e) + (2*c 
^5 - 14*c^4*d - 76*c^3*d^2 - 124*c^2*d^3 - 86*c*d^4 - 22*d^5 - (c^3*d^2 - 
9*c^2*d^3 - 21*c*d^4 - 11*d^5)*cos(f*x + e)^3 - 2*(c^4*d - 8*c^3*d^2 - 30* 
c^2*d^3 - 32*c*d^4 - 11*d^5)*cos(f*x + e)^2 + (c^5 - 7*c^4*d - 38*c^3*d^2 
- 62*c^2*d^3 - 43*c*d^4 - 11*d^5)*cos(f*x + e))*sin(f*x + e))*sqrt(2*a*c - 
 2*a*d)*log(((a*c^2 - 14*a*c*d + 17*a*d^2)*cos(f*x + e)^3 - 4*a*c^2 - 8*a* 
c*d - 4*a*d^2 - (13*a*c^2 - 22*a*c*d - 3*a*d^2)*cos(f*x + e)^2 - 4*((c - 3 
*d)*cos(f*x + e)^2 - (3*c - d)*cos(f*x + e) + ((c - 3*d)*cos(f*x + e) + 4* 
c - 4*d)*sin(f*x + e) - 4*c + 4*d)*sqrt(2*a*c - 2*a*d)*sqrt(a*sin(f*x + e) 
 + a)*sqrt(d*sin(f*x + e) + c) - 2*(9*a*c^2 - 14*a*c*d + 9*a*d^2)*cos(f*x 
+ e) - (4*a*c^2 + 8*a*c*d + 4*a*d^2 - (a*c^2 - 14*a*c*d + 17*a*d^2)*cos(f* 
x + e)^2 - 2*(7*a*c^2 - 18*a*c*d + 7*a*d^2)*cos(f*x + e))*sin(f*x + e))/(c 
os(f*x + e)^3 + 3*cos(f*x + e)^2 + (cos(f*x + e)^2 - 2*cos(f*x + e) - 4)*s 
in(f*x + e) - 2*cos(f*x + e) - 4)) - 8*(3*c^5 - 3*c^4*d - 6*c^3*d^2 + 6*c^ 
2*d^3 + 3*c*d^4 - 3*d^5 - (3*c^3*d^2 + 35*c^2*d^3 - 19*c*d^4 - 19*d^5)*cos 
(f*x + e)^3 + (6*c^4*d + 39*c^3*d^2 - 29*c^2*d^3 - 23*c*d^4 + 7*d^5)*co...
 
3.6.99.6 Sympy [F(-1)]

Timed out. \[ \int \frac {1}{(3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx=\text {Timed out} \]

input
integrate(1/(a+a*sin(f*x+e))**(3/2)/(c+d*sin(f*x+e))**(5/2),x)
 
output
Timed out
 
3.6.99.7 Maxima [F]

\[ \int \frac {1}{(3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx=\int { \frac {1}{{\left (a \sin \left (f x + e\right ) + a\right )}^{\frac {3}{2}} {\left (d \sin \left (f x + e\right ) + c\right )}^{\frac {5}{2}}} \,d x } \]

input
integrate(1/(a+a*sin(f*x+e))^(3/2)/(c+d*sin(f*x+e))^(5/2),x, algorithm="ma 
xima")
 
output
integrate(1/((a*sin(f*x + e) + a)^(3/2)*(d*sin(f*x + e) + c)^(5/2)), x)
 
3.6.99.8 Giac [F]

\[ \int \frac {1}{(3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx=\int { \frac {1}{{\left (a \sin \left (f x + e\right ) + a\right )}^{\frac {3}{2}} {\left (d \sin \left (f x + e\right ) + c\right )}^{\frac {5}{2}}} \,d x } \]

input
integrate(1/(a+a*sin(f*x+e))^(3/2)/(c+d*sin(f*x+e))^(5/2),x, algorithm="gi 
ac")
 
output
sage0*x
 
3.6.99.9 Mupad [F(-1)]

Timed out. \[ \int \frac {1}{(3+3 \sin (e+f x))^{3/2} (c+d \sin (e+f x))^{5/2}} \, dx=\int \frac {1}{{\left (a+a\,\sin \left (e+f\,x\right )\right )}^{3/2}\,{\left (c+d\,\sin \left (e+f\,x\right )\right )}^{5/2}} \,d x \]

input
int(1/((a + a*sin(e + f*x))^(3/2)*(c + d*sin(e + f*x))^(5/2)),x)
 
output
int(1/((a + a*sin(e + f*x))^(3/2)*(c + d*sin(e + f*x))^(5/2)), x)